--Defino Nodo
sig Nodo {}

sig Grafo {
	nodos: set Nodo,
	arco: Nodo-> Nodo
}

pred show [] {}

run show for 3 but exactly 1 Grafo
